<?php
	$pagepath = '.';
	$pagename = "Admin control panel | ";
    include './includes/constants.php';
	include './includes/header.php';
	include './includes/menu.php';
	if(!isset($_SESSION['utente'])){
		echo '<script language=javascript>document.location.href="./login.php"</script>';
	}
	else {
		include './includes/view_themes.php';
	}
	include './includes/footer.php';
?>